#ifndef __DRAND48_H
#define __DRAND48_H

#include <stdlib.h>

#ifdef __WIN32  
double drand48(void);
void srand48(unsigned int i);
#endif
#endif